home *** CD-ROM | disk | FTP | other *** search
- package com.extensibility.xa;
-
- import com.extensibility.app.UI;
- import com.extensibility.xa.undo.ClearDeclsUndoable;
- import com.extensibility.xml.BaseDeclaration;
-
- public class OverviewPane$TreeRemoveDeclsUndoable extends ClearDeclsUndoable {
- // $FF: synthetic field
- final OverviewPane this$0;
- BaseDeclaration decl;
-
- public OverviewPane$TreeRemoveDeclsUndoable(OverviewPane var1, BaseDeclaration var2, SchemaWin var3) {
- super(var3);
- this.this$0 = var1;
- this.decl = var2;
- }
-
- public String getPresentationName() {
- return UI.getString("undo.overview.remove");
- }
-
- public void doCommand() {
- super.toRemove.addToSet(this.decl);
- super.doCommand();
- }
-
- public void redo() {
- super.redo();
- super.doCommand();
- }
- }
-